Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·2d
💎Information Crystallography
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·6h
📄Text Segmentation
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
Equivalence via Surjections
golem.ph.utexas.edu·1d
🔀Category Theory
Automated Knowledge Graph Reconstruction for Rare Disease Variant Prioritization
dev.to·6h·
Discuss: DEV
🧬Copy Number Variants
The use of Claude Code in SciML repos
discourse.julialang.org·1d·
Discuss: Lobsters
📏Code Metrics
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·8h
🏗️Constructive Analysis
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·7h·
Discuss: r/MachineLearning
🔗Constraint Handling
Computing simplified coverage polygons
volkerkrause.eu·21h·
Discuss: Lobsters, Hacker News
📊Computational Geometry
The Art of Transformer Programming (2023)
yanivle.github.io·6h·
Discuss: Hacker News
🤖Lisp Machines
Sets & Heaps in Haskell and Rust
mmhaskell.com·5d
🔒Type Safety
🚀 The Secret Life of Python's range: Lazy, Efficient (Reimplementation Inside)
dev.to·1d·
Discuss: DEV
λLambda Encodings
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·4h·
Discuss: Hacker News
🦀Rust Verification